Search results for "Probabilistic analysis of algorithms"

showing 10 items of 21 documents

A comprehensive probabilistic analysis of approximate SIR‐type epidemiological models via full randomized discrete‐time Markov chain formulation with…

2020

Spanish Ministerio de Economia y Competitividad, Grant/Award Number: MTM2017-89664-P; Generalitat Valenciana, Grant/Award Number: APOSTD/2019/128; Ministerio de Economia y Competitividad, Grant/Award Number: MTM2017-89664-P

010101 applied mathematicsDiscrete mathematicsMarkov chainDiscrete time and continuous timeGeneral Mathematics010102 general mathematicsGeneral EngineeringProbabilistic analysis of algorithms0101 mathematicsType (model theory)01 natural sciencesMathematicsMathematical Methods in the Applied Sciences
researchProduct

A Probabilistic Analysis to Quantify the Effect of March 11, 2004, Attacks in Madrid on the March 14 Elections in Spain: A Dynamic Modelling Approach

2015

[EN] The bomb attacks in Madrid three days before the general elections of March 14, 2004, and their possible influence on the victory of PSOE (Spanish Workers Socialist Party), defeating PP (Popular Party), have been a matter of study from several points of view (i.e., sociological, political, or statistical). In this paper, we present a dynamic model based on a system of differential equations such that it, using data from Spanish CIS (National Center of Sociological Research), describes the evolution of voting intention of the Spanish people over time. Using this model, we conclude that the probability is very low that the PSOE would have won had the attack not happened.Moreover, after t…

Article SubjectOperations researchlcsh:MathematicsApplied Mathematicsmedia_common.quotation_subjectSociological researchVictoryDynamic modellinglcsh:QA1-939PoliticsEconomyVotingGeneral electionProbabilistic analysis of algorithmsCenter (algebra and category theory)MATEMATICA APLICADAAnalysisMathematicsmedia_commonAbstract and Applied Analysis
researchProduct

A method for the probabilistic analysis of nonlinear systems

1995

Abstract The probabilistic description of the response of a nonlinear system driven by stochastic processes is usually treated by means of evaluation of statistical moments and cumulants of the response. A different kind of approach, by means of new quantities here called Taylor moments, is proposed. The latter are the coefficients of the Taylor expansion of the probability density function and the moments of the characteristic function too. Dual quantities with respect to the statistical cumulants, here called Taylor cumulants, are also introduced. Along with the basic scheme of the method some illustrative examples are analysed in detail. The examples show that the proposed method is an a…

Characteristic function (probability theory)Stochastic processMechanical EngineeringAerospace EngineeringOcean EngineeringStatistical and Nonlinear PhysicsProbability density functionCondensed Matter Physicssymbols.namesakeNonlinear systemNuclear Energy and EngineeringTaylor seriessymbolsCalculusApplied mathematicsProbabilistic analysis of algorithmsCumulantCivil and Structural EngineeringMathematicsTaylor expansions for the moments of functions of random variables
researchProduct

Centering and Compound Conditionals under Coherence

2016

There is wide support in logic , philosophy , and psychology for the hypothesis that the probability of the indicative conditional of natural language, \(P(\textit{if } A \textit{ then } B)\), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that \(P(\textit{if } A \textit{ then } B)= P(B|A)\) with de Finetti’s conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds a…

Discrete mathematicsIndicative conditionalcenteringSettore MAT/06 - Probabilita' E Statistica Matematica05 social sciencesClassical logicConditional probabilityInference02 engineering and technologyCoherence (philosophical gambling strategy)p-entailmentn-conditional event050105 experimental psychologycoherenceLogical biconditionalp-validity0202 electrical engineering electronic engineering information engineeringbiconditional event020201 artificial intelligence & image processing0501 psychology and cognitive sciencesProbabilistic analysis of algorithmsArithmeticMathematicsEvent (probability theory)Conditional
researchProduct

A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms

2013

Count-to-infinity problem is characteristic for routing algorithms based on the distributed implementation of the classical Bellman-Ford algorithm. In this paper a probabilistic solution to this problem is proposed. It is argued that by the use of a Bloom Filter added to the routing message the routing loops will with high probability not form. An experimental analysis of this solution for use in Wireless Sensor Networks in practice is also included.

Distance-vector routing protocolLink-state routing protocolComputer scienceAnt colony optimization algorithmsComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSMultipath routingComputer Science::Networking and Internet ArchitectureProbabilistic logicPath vector protocolProbabilistic analysis of algorithmsRouting (electronic design automation)Algorithm
researchProduct

Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects

2013

We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on $n$ conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms: minimum, product, Lukasiewicz, and Hamacher t-norms and their dual t-conorms. On this basis we obtain Quasi And and Quasi Or rules. These are rules for which any finite family of conditional events p-entails the associated quasi conjunction and quasi disjunction. We examine some cases of logical de…

FOS: Computer and information sciencesSettore MAT/06 - Probabilita' E Statistica MatematicaInformation Systems and ManagementComputer Science - Artificial Intelligencet-Norms/conormDuality (mathematics)goodman-nguyen inclusion relation; lower/upper probability bounds; t-norms/conorms; generalized loop rule; coherence; quasi conjunction/disjunctionComputer Science::Artificial IntelligenceTheoretical Computer ScienceArtificial IntelligenceFOS: MathematicsProbabilistic analysis of algorithmsNon-monotonic logicRule of inferenceLower/upper probability boundGoodman–Nguyen inclusion relationMathematicsEvent (probability theory)Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniDiscrete mathematicsInterpretation (logic)Probability (math.PR)Probabilistic logicCoherence (philosophical gambling strategy)Generalized Loop ruleComputer Science ApplicationsAlgebraArtificial Intelligence (cs.AI)Control and Systems EngineeringQuasi conjunction/disjunctionCoherenceMathematics - ProbabilitySoftwareInformation Sciences
researchProduct

Complexity of probabilistic versus deterministic automata

2005

Finite-state machineNested wordTheoretical computer scienceDFA minimizationDeterministic automatonComputer scienceDeterministic context-free grammarAutomata theoryQuantum finite automataProbabilistic analysis of algorithms
researchProduct

Three-circle method in the investigations of shapes of gas bubble clusters in two-phase flow

1991

We present an attempt of formulating a quantitative criterion for division into homogeneous and heterogeneous flow patterns basing on the probabilistic analysis of gas bubble distribution in the liquid

Gas bubbleChemistryApplied MathematicsGeneral Chemical EngineeringBubbleThermodynamicsGeneral ChemistryMechanicsDivision (mathematics)Flow patternIndustrial and Manufacturing EngineeringPhysics::Fluid DynamicsDistribution (mathematics)HomogeneousProbabilistic analysis of algorithmsTwo-phase flowChemical Engineering Science
researchProduct

Reliability Analysis of a Controlled Stage-Constructed and Reinforced Embankment on Soft Ground Using 2D and 3D Models

2020

Geosynthetic reinforcement has become a very practical technique to improve geotechnical structure safety. In spite of improved soil behavior, structures are affected by uncertainties related to soil and reinforcement material properties. This paper aims to present a reliability analysis in order to take statistical information (uncertainties) into account in a safety analysis of reinforced embankments. The analysis was used in a case study on a controlled stage-constructed embankment on soft ground in order to investigate its probabilistic stability. Modeling was performed by commercial geotechnical software usage (GeoStudio and RocScience packs, SIGMA/W+SLOPE/W and SLIDE³, respectively) a…

Geography Planning and Development0211 other engineering and technologiessoft ground020101 civil engineering02 engineering and technologyStability (probability)0201 civil engineeringESTRUTURASlcsh:HT165.5-169.9Probabilistic analysis of algorithmsReliability (statistics)Mathematicsembankment021110 strategic defence & security studiesreliabilitybusiness.industryBuilding and ConstructionStructural engineeringgeosyntheticslcsh:City planningsensitivityFirst-order reliability methodUrban StudiesVoid ratiolcsh:TA1-2040GeosyntheticsbusinessMaterial propertieslcsh:Engineering (General). Civil engineering (General)Random variableFrontiers in Built Environment
researchProduct

Frequency Prediction of Functions

2012

Prediction of functions is one of processes considered in inductive inference. There is a "black box" with a given total function f in it. The result of the inductive inference machine F( ) is expected to be f(n+1). Deterministic and probabilistic prediction of functions has been widely studied. Frequency computation is a mechanism used to combine features of deterministic and probabilistic algorithms. Frequency computation has been used for several types of inductive inference, especially, for learning via queries. We study frequency prediction of functions and show that that there exists an interesting hierarchy of predictable classes of functions.

Hierarchy (mathematics)ComputationExistential quantificationBlack boxProbabilistic logicProbabilistic analysis of algorithmsInductive reasoningAlgorithmMathematicsRandomized algorithm
researchProduct